$\forall$$T$:Type, $R_{1}$, $R_{2}$:($T$$\rightarrow$$T$$\rightarrow$Prop). $R_{1}$ =$>$ $R_{2}$ $\Rightarrow$ $R_{1}$\^{}+ =$>$ $R_{2}$\^{}+